Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Marc De Leenheer, Chris Develder, Filip De Turck, Bart Dhoedt, Piet Demeester |
Erlang Reduced Load Model for Optical Burst Switched Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNS ![In: Third International Conference on Networking and Services (ICNS 2007), June 19-25, 2007, Athens, Greece, pp. 117, 2007, IEEE Computer Society, 978-0-7695-2858-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Ioannis Z. Koukoutsidis, Eitan Altman |
Erlang Capacity of a CDMA Link with Transmission Rate Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEW2AN ![In: Next Generation Teletraffic and Wired/Wireless Advanced Networking, 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006, Proceedings, pp. 177-188, 2006, Springer, 3-540-34429-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Andrew M. Ross, J. George Shanthikumar |
Estimating Effective Capacity in Erlang Loss Systems under Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 49(1), pp. 23-47, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
AMS subject classification 62M05, 68M20, 60K25, 90B18 |
27 | François Baccelli, Bartlomiej Blaszczyszyn, Mohamed Kadhem Karray |
Blocking rates in large CDMA networks via a spatial Erlang formula. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 13-17 March 2005, Miami, FL, USA, pp. 58-67, 2005, IEEE, 0-7803-8968-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Bruno Baynat, Khaled Boussetta, Pierre Eisenmann, Nidham Ben Rached |
Towards an Erlang-Like Formula for the Performance Evaluation of GPRS/EDGE Networks with Finite-Length Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETWORKING ![In: NETWORKING 2004, Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication, Third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14, 2004, Proceedings, pp. 1288-1293, 2004, Springer, 3-540-21959-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Thomas Arts, Koen Claessen, Hans Svensson |
Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers, pp. 140-154, 2004, Springer, 3-540-25109-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Erik Johansson, Konstantinos Sagonas |
Linear Scan Register Allocation in a High-Performance Erlang Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 101-119, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | S. Omsin, A. Manyanon, Chom Kimpan, Ouen Pin-Ngern, Suthichai Noppanakeepong |
Effect of multipath fading on the Erlang capacity of imperfect power control in cellular CDMA system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS (2) ![In: IEEE Asia Pacific Conference on Circuits and Systems 2002, APCCAS 2002, Singapore, 16-18 December 2002, pp. 433-436, 2002, IEEE, 0-7803-7690-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Jürgen Giesl, Thomas Arts |
Verification of Erlang Processes by Dependency Pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 12(1/2), pp. 39-72, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Verification, Distributed processes, Termination, Rewriting |
27 | Thomas Arts, Jürgen Giesl |
Applying Rewriting Techniques to the Verification of Erlang Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 96-110, 1999, Springer, 3-540-66536-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Neil Walkinshaw, John Derrick, Qiang Guo 0001 |
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 305-320, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Reverse engineering, model-based testing, Erlang |
27 | Jan Henry Nyström, Philip W. Trinder, David J. King |
Evaluating high-level distributed language constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 203-212, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
programming languages, haskell, distributed programming, erlang |
27 | Lu Yu 0005, Jin Zhou 0002, Shingo Mabu, Kotaro Hirasawa, Jinglu Hu, Sandor Markon |
Effects of passenger's arrival distribution to double-deck elevator group supervisory control systems using genetic network programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 1476-1483, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Erlang distribution, elevator group supervisory control system, passengers' arrival, genetic network programming |
27 | Axel Thümmler, Peter Buchholz 0001, Miklós Telek |
A Novel Approach for Phase-Type Fitting with the EM Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 3(3), pp. 245-258, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hyper-Erlang distributions, Markov processes, communication networks, traffic modeling, Performance analysis and design aids |
27 | Tobias Lindahl, Konstantinos Sagonas |
Practical type inference based on success typings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 167-178, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
success typings, Erlang, subtyping, constraint-based type inference |
27 | Youngmi Jin, George Kesidis |
Dynamics of usage-priced communication networks: the case of a single bottleneck resource. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 13(5), pp. 1041-1053, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Erlang blocking, evolving TCP, usage pricing, quality of service (QoS), internet, stability, TCP/IP, Lyapunov function, Nash equilibria, differentiated services (diffserv) |
27 | Quang Gao, Keith J. Blow, David J. Holding, Ian W. Marshall |
Analysis of Energy Conservation in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 11(6), pp. 787-794, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Erlang formula, QoS, sensor networks, ad hoc networks, energy efficient design |
27 | Daniel Luna, Mikael Pettersson, Konstantinos Sagonas |
Efficiently compiling a functional language on AMD64: the HiPE experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 176-186, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
AMD64, functional programming, erlang |
27 | Erik Johansson, Konstantinos Sagonas, Jesper Wilhelmsson |
Heap architectures for concurrent languages using message passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSP/ISMM ![In: Proceedings of The Workshop on Memory Systems Performance (MSP 2002), June 16, 2002 and The International Symposium on Memory Management (ISMM 2002), June 20-21, 2002, Berlin, Germany, pp. 195-206, 2002, ACM, 1-58113-539-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
message passing, garbage collection, erlang, runtime systems, concurrent languages |
27 | Dimitris Bertsimas, Georgia Mourtzinou |
Decomposition results for general polling systems and their applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 31(3-4), pp. 295-316, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
switch-over times, mixed generalized Erlang arrivals, performance analysis, decomposition, heavy traffic, polling systems, distributional laws |
22 | Salah-Eddine Elayoubi, Benoît Fourestié |
Performance evaluation of admission control and adaptive modulation in OFDMA WiMax systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 16(5), pp. 1200-1211, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
inter-cell interference, performance evaluation, WiMAX, OFDMA |
22 | Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert |
Actors with Multi-headed Message Receive Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings, pp. 315-330, 2008, Springer, 978-3-540-68264-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Mika Murtojärvi, Jouni Järvinen, Mika Johnsson, Timo Leipälä, Olli Nevalainen |
Determining the Proper Number and Price of Software Licenses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 33(5), pp. 305-315, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Software release management and delivery, simulation, mathematical modeling, queuing theory |
22 | Nidhi Hegde 0001, Eitan Altman |
Capacity of Multiservice WCDMA Networks with Variable GoS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 12(2), pp. 241-253, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
WCDMA performance, integration of streaming and elastic traffic, UMTS, HSDPA, Quasi birth- and death-processes |
22 | Haitang Wang, Bing He 0004, Dharma P. Agrawal |
Admission Control and Bandwidth Allocation above Packet Level for IEEE 802.16 Wireless MAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS (1) ![In: 12th International Conference on Parallel and Distributed Systems, ICPADS 2006, Minneapolis, Minnesota, USA, July 12-15, 2006, pp. 599-604, 2006, IEEE Computer Society, 0-7695-2612-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Wenhong Tian |
The transient analysis of loss networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 33(3), pp. 46-50, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jan Henry Nyström, Philip W. Trinder, David J. King |
Are High-Level Languages Suitable for Robust Telecoms Software?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings, pp. 275-288, 2005, Springer, 3-540-29200-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Tobias Lindahl, Konstantinos Sagonas |
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings, pp. 91-106, 2004, Springer, 3-540-23724-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Compile-time program checking, software development, software tools, defect detection, software quality assurance |
22 | Antonella Di Stefano, Corrado Santoro |
Designing Collaborative Agents with eXAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), Infrastructure for Collaborative Enterprises, 14-16 June 2004, Modena, Italy, pp. 15-20, 2004, IEEE Computer Society, 0-7695-2183-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Mahmoud Naghshineh, Anthony S. Acampora |
Design and control of micro-cellular networks with QOS provisioning for data traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 3(4), pp. 249-256, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Mads Dam, Lars-Åke Fredlund, Dilian Gurov |
Toward Parametric Verification of Open Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPOS ![In: Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures, pp. 150-185, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Olav Hansen, Peter Fritzson |
A Performance Analyzer for a Parallel Real-Time Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 479-477, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Yunzhe Li, Juhee Lee, Athanasios Kottas |
Bayesian nonparametric Erlang mixture modeling for survival analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. Data Anal. ![In: Comput. Stat. Data Anal. 191, pp. 107874, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Mario E. Rivero-Angeles, Iclia Villordo-Jimenez, Izlian Yolanda Orea-Flores, Noé Torres-Cruz, Angel Pretelín-Ricárdez |
Erlang-U: Blocking Probability of UAV-Assisted Cellular Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. ![In: Inf. 15(4), pp. 192, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Alexander M. Andronov, Kristina Mahareva |
Elaborated Analysis of a Nonreplenishable Queue with Erlang Distribution of the Service Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Control. Comput. Sci. ![In: Autom. Control. Comput. Sci. 58(1), pp. 1-10, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | M. Moharrami, V. Subramanian, M. Liu, R. Sundaresan |
The Erlang weighted tree, a new branching process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Random Struct. Algorithms ![In: Random Struct. Algorithms 64(3), pp. 537-624, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Vighnesh Sachidananda, Anirudh Sivaraman |
Erlang: Application-Aware Autoscaling for Cloud Microservices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the Nineteenth European Conference on Computer Systems, EuroSys 2024, Athens, Greece, April 22-25, 2024, pp. 888-923, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Matheus Souza 0001, Marcel De Almeida, André R. Fioravanti, Oswaldo L. V. Costa |
H2 Output-Feedback Cluster Control for Continuous Semi-Markov Jump Linear Systems With Erlang Dwell Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 109-114, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Kazuma Abe, Tuan Phung-Duc |
Diffusion limit of a modified Erlang-B system with sensing time of secondary users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 331(2), pp. 985-1006, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Ahmad Attar, Sadigh Raissi, Hamid Tohidi, Mohammad Javad Feizollahi |
A Novel Perspective on Reliable System Design With Erlang Failures and Realistic Constraints for Incomplete Switching Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 51900-51914, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Barbara Haas Margolius |
The periodic steady-state solution for queues with Erlang arrivals and service and time-varying periodic transition rates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 103(1-2), pp. 45-94, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Yu Chen 0006, Yaxuan Tang, Mingchun Xu, Xiaofeng Tao |
Energy-Efficient Wireless System Within Average Delay and With Mixed-Erlang-Distributed Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Wirel. Commun. Lett. ![In: IEEE Wirel. Commun. Lett. 12(7), pp. 1239-1243, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Péter Bereczky, Dániel Horpácsi, Simon J. Thompson |
A Frame Stack Semantics for Sequential Core Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.12403, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Albert Schimpf, Stefan Wehr, Annette Bieniusa |
Set-theoretic Types for Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.12783, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Dominic Orchard, Mihail Munteanu, Paulo Torrens |
Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES@ETAPS ![In: Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2023, Paris, France, 22 April 2023., pp. 38-48, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Péter Bereczky, Dániel Horpácsi, Simon J. Thompson |
A Formalisation of Core Erlang, a Concurrent Actor Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.10482, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hyotae Kim, Athanasios Kottas |
Erlang mixture modeling for Poisson process intensities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 32(1), pp. 3, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Jiao Wang, Lemin Zhang, Zhiqiang He, Can Zhu, Zihui Zhao |
Erlang planning network: An iterative model-based reinforcement learning with multi-perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 128, pp. 108668, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski |
Reversible Computing in Debugging of Erlang Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IT Prof. ![In: IT Prof. 24(1), pp. 74-80, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Walter Cazzola, Francesco Cesarini, Luca Tansini |
PerformERL: a performance testing framework for erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 35(5), pp. 439-454, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Matthieu Jonckheere |
From Erlang formula to robust control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 100(3-4), pp. 457-459, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Alexander B. Veretennikov |
An open problem about the rate of convergence in Erlang-Sevastyanov's model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 100(3-4), pp. 357-359, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Semih Kara, Nuno C. Martins, Murat Arcak |
Population Games With Erlang Clocks: Convergence to Nash Equilibria For Pairwise Comparison Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.00593, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Miquel Ferriol Galmés, Krzysztof Rusek, José Suárez-Varela, Shihan Xiao, Xiangle Cheng, Pere Barlet-Ros, Albert Cabellos-Aparicio |
RouteNet-Erlang: A Graph Neural Network for Network Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.13956, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
16 | Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti |
Reversibility in Erlang: Imperative Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 187-203, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
Generation of a Reversible Semantics for Erlang in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings, pp. 106-122, 2022, Springer, 978-3-031-17243-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Semih Kara, Nuno C. Martins, Murat Arcak |
Population Games With Erlang Clocks: Convergence to Nash Equilibria For Pairwise Comparison Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022, pp. 7688-7695, 2022, IEEE, 978-1-6654-6761-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Kazuma Abe, Tuan Phung-Duc |
Asymptotic Analysis of Modified Erlang-B System with Sensing Time and Stochastic Loss of Secondary Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Performance Evaluation Methodologies and Tools - 15th EAI International Conference, VALUETOOLS 2022, Virtual Event, November 2022, Proceedings, pp. 67-80, 2022, Springer, 978-3-031-31233-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Miquel Ferriol Galmés, Krzysztof Rusek, José Suárez-Varela, Shihan Xiao, Xiang Shi, Xiangle Cheng, Bo Wu, Pere Barlet-Ros, Albert Cabellos-Aparicio |
RouteNet-Erlang: A Graph Neural Network for Network Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: IEEE INFOCOM 2022 - IEEE Conference on Computer Communications, London, United Kingdom, May 2-5, 2022, pp. 2018-2027, 2022, IEEE, 978-1-6654-5822-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Lavinia Egidi, Paola Giannini, Lorenzo Ventura |
Multiparty-session-types Coordination for Core Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: Proceedings of the 17th International Conference on Software Technologies, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022., pp. 532-541, 2022, SCITEPRESS, 978-989-758-588-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Clemens Neumüller, Joerg Robert, Albert Heuberger |
Convolving Hyper-Erlang with Hyper-Exponential Distributions Using Linear Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICoMS ![In: ICoMS 2022: 5th International Conference on Mathematics and Statistics, Paris, France, June 17 - 19, 2022, pp. 1-6, 2022, ACM, 978-1-4503-9623-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Vladimir Janjic, Christopher Brown 0002, Adam D. Barwell, Kevin Hammond |
Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 33(14), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Bobby S. Nyotta, Fernanda Bravo, M. Keith Chen |
Computing the conditional entry-state distribution in Erlang loss systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. Lett. ![In: Oper. Res. Lett. 49(3), pp. 345-349, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Thirupathaiah Vasantam, Ravi R. Mazumdar |
Sensitivity of mean-field fluctuations in Erlang loss models with randomized routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Probab. ![In: J. Appl. Probab. 58(2), pp. 428-448, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Fernando Benavides Rodríguez, Laura M. Castro |
Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.08699, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Thirupathaiah Vasantam, Ravi R. Mazumdar |
Sensitivity of Mean-Field Fluctuations in Erlang loss models with randomized routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.06529, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Evsey V. Morozov, S. S. Rogozin, Hung Quoc Nguyen, Tuan Phung-Duc |
Modified Erlang loss system for cognitive wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.03222, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Wenyong Gui, Rongtan Huang, X. Sheldon Lin |
Fitting multivariate Erlang mixtures to data: A roughness penalty approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 386, pp. 113216, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
Causal-Consistent Debugging of Distributed Erlang Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 79-95, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Paul Kevin Reeser |
Highly Accurate, Explicit Approximation for Erlang B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Performance Engineering and Stochastic Modeling - 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9-10 and December 13-14, 2021, Proceedings, pp. 360-374, 2021, Springer, 978-3-030-91824-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Liu Yang, Yanyi Sun, Yi Wang, Tongkuai Zhang |
Vehicles Connectivity on Highways Adopting Erlang-distribution for Time Headway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSAI ![In: 7th International Conference on Systems and Informatics, ICSAI 2021, Chongqing, China, November 13-15, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-2624-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Sébastien Merle, Juan Pedro Fernández-Palacios, Óscar González de Dios, Lluís Gifre, Ricard Vilalta, Peer Stritzinger |
Scalable and Resilient Network Traffic Engineering Using Erlang-based Path Computation Element. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFV-SDN ![In: 2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021, Heraklion, Greece, November 9-11, 2021, pp. 100-101, 2021, IEEE, 978-1-6654-3983-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Yangjin Cheng, Muzhou Hou, Juan Wang |
An improved optimal trigonometric ELM algorithm for numerical solution to ruin probability of Erlang(2) risk model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 79(41-42), pp. 30235-30255, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Nahideh Derakhshanfard |
Erlang Based Buffer Management and Routing in Opportunistic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 110(4), pp. 2165-2177, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Péter Bereczky, Dániel Horpácsi, Simon J. Thompson |
A Proof Assistant Based Formalisation of Core Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.11821, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
16 | Neil J. Gunther |
Erlang Redux: An Ansatz Method for Solving the M/M/m Queue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.06823, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
16 | Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García |
Deriving overloaded success type schemes in Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Lang. ![In: J. Comput. Lang. 58, pp. 100965, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Maciej Pietowski, Quoc-Tuan Vien, Truong Khoa Phan |
Optimisation of Server Selection for Maximising Utility in Erlang-Loss Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAI Endorsed Trans. Ind. Networks Intell. Syst. ![In: EAI Endorsed Trans. Ind. Networks Intell. Syst. 7(22), pp. e1, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Péter Bereczky, Dániel Horpácsi, Simon J. Thompson |
A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers, pp. 139-158, 2020, Springer, 978-3-030-57760-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Petro Pekh, Olena Kuzmych, Nina Zdolbitska, Nataliia Bahniuk, Iaroslav Pasternak |
Generators of Some Kinds Random Erlang Numbers and Estimation of Their Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIT ![In: 10th International Conference on Advanced Computer Information Technologies, ACIT 2020, Deggendorf, Germany, September 16-18, 2020, pp. 306-310, 2020, IEEE, 978-1-7281-6759-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Joseph R. Harrison |
Robust communications in Erlang ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
DOI RDF |
|
16 | David Azriel, Paul D. Feigin, Avishai Mandelbaum |
Erlang-S: A Data-Based Model of Servers in Queueing Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manag. Sci. ![In: Manag. Sci. 65(10), pp. 4607-4635, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Gerardo Carreño-García, Manuel Hernández-Gutiérrez |
Actividades colaborativas en sistemas distribuidos construidos con Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Res. Comput. Sci. ![In: Res. Comput. Sci. 148(8), pp. 105-119, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
16 | Gregory Hawkridge, Anton Herman Basson, Karel Kruger |
Comparison of Erlang/OTP and JADE implementations for standby redundancy in a holonic controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Integr. Manuf. ![In: Int. J. Comput. Integr. Manuf. 32(12), pp. 1207-1230, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Karel Kruger, Anton Herman Basson |
Evaluation of JADE multi-agent system and Erlang holonic control implementations for a manufacturing cell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Integr. Manuf. ![In: Int. J. Comput. Integr. Manuf. 32(3), pp. 225-240, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Hilary I. Okagbue, Muminu O. Adamu, Timothy A. Anake |
Closed Form Expressions for the Quantile Function of the Erlang Distribution Used in Engineering Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 104(4), pp. 1393-1408, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit |
A core Erlang semantics for declarative debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 107, pp. 1-37, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Banani Talukdar, Deepak Kumar, Wasim Arif |
Analytical Modelling and Performance Evaluation of a Prediction based EH-Cooperative CRN under Erlang Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANTS ![In: 2019 IEEE International Conference on Advanced Networks and Telecommunications Systems, ANTS 2019, Goa, India, December 16-19, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-3715-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Thirupathaiah Vasantam, Ravi R. Mazumdar |
Fluctuations Around the Mean-Field for a Large Scale Erlang Loss System Under the SQ(d) Load Balancing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: 31st International Teletraffic Congress, ITC 2019, Budapest, Hungary, August 27-29, 2019, pp. 1-9, 2019, IEEE, 978-0-9883045-7-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro |
Playing with Bisimulation in Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models, Languages, and Tools for Concurrent and Distributed Programming ![In: Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, pp. 71-91, 2019, Springer, 978-3-030-21484-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Anastasiia Strielkina, Bohdan Volochiy, Vyacheslav S. Kharchenko, Serhiy Volochiy |
Model of Functional Behavior of Healthcare Internet of Things Device Using Erlang Phase Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI (Revised Selected Papers) ![In: Information and Communication Technologies in Education, Research, and Industrial Applications - 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12-15, 2019, Revised Selected Papers, pp. 277-301, 2019, Springer, 978-3-030-39458-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Anastasiia Strielkina, Serhiy Volochiy, Vyacheslav S. Kharchenko |
Discrete-Continuous Stochastic Model of Insulin Pump Functioning for Health IoT System Using Erlang Phase Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI Workshops ![In: Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kherson, Ukraine, June 12-15, 2019., pp. 794-809, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
16 | Arif Husen, Imran Raza, Syed Asad Hussain |
Erlang Based Server Selection Scheme Using Software Defined Networking in Datacenter for Energy Conservation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIT ![In: International Conference on Frontiers of Information Technology, FIT 2019, Islamabad, Pakistan, December 16-18, 2019, pp. 36-41, 2019, IEEE, 978-1-7281-6625-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Laurin Prenzel, Julien Provost |
FBBeam: An Erlang-based IEC 61499 Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 17th IEEE International Conference on Industrial Informatics, INDIN 2019, Helsinki, Finland, July 22-25, 2019, pp. 629-634, 2019, IEEE, 978-1-7281-2927-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Amit Kumar Singh, Dilip Senapati, Sujit Bebortta, Nikhil Kumar Rajput |
A Non-stationary Analysis of Erlang Loss Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACIE (1) ![In: Progress in Advanced Computing and Intelligent Engineering - Proceedings of ICACIE 2019, Volume 1, Bhubaneswar, India, December 21-23, 2019., pp. 286-294, 2019, Springer, 978-981-15-6583-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Melinda Tóth |
Adat és kiértékelési függőségi elemzés funkcionális nyelvekre- Erlang programok statikus elemzése ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
16 | István Bozó |
Erlang programok statikus elemzése és szeletelése ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
16 | Ivan Lanese, Naoki Nishida 0001, Adrián Palacios, Germán Vidal |
A theory of reversibility for Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 100, pp. 71-97, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit |
Declarative debugging of concurrent Erlang programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 101, pp. 22-41, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | William A. Massey, Jamol Pender |
Dynamic rate Erlang-A queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 89(1-2), pp. 127-164, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|