BRICS

Results: 891



#Item
301

BRICS Basic Research in Computer Science BRICS RSKlarlund et al.: MONA Implementation Secrets MONA Implementation Secrets

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2001-02-19 14:06:32
    302

    BRICS BRICS LS-96-5 Basic Research in Computer Science

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 1997-03-03 08:02:40
      303

      BRICS Basic Research in Computer Science BRICS RSCramer et al.: Span Programs and General Secure Multi-Party Computation Span Programs and General

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 1997-11-25 08:24:32
        304

        The Past, Present and Future of Multiparty Computation IACR Distingushed lecture, 2006 Ivan Damgård BRICS, Århus University

        Add to Reading List

        Source URL: www.iacr.org

        Language: English - Date: 2011-06-14 06:54:55
          305

          BRICS Basic Research in Computer Science BRICS RSP. Bouyer: Timed Automata May Cause Some Troubles Timed Automata May Cause Some Troubles

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 2002-08-13 09:27:12
            306

            BRICS Basic Research in Computer Science BRICS RSCattani et al.: Presheaf Models for the π-Calculus

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 1997-12-19 09:06:38
              307

              BRICS BRICS RSBasic Research in Computer Science

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 1997-05-27 09:57:00
                308

                BRICS Basic Research in Computer Science BRICS RSAceto et al.: Structural Operational Semantics Structural Operational Semantics

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 1999-09-28 19:30:21
                  309

                  BRICS BRICS DS-96-1 Basic Research in Computer Science

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: Danish - Date: 1997-09-02 07:33:04
                    310

                    BRICS Basic Research in Computer Science BRICS RSBerger & Oliva: Modified Bar Recursion Modified Bar Recursion

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 2002-04-15 05:11:46
                      UPDATE